perm filename ABEL[1,JRA] blob sn#005868 filedate 1972-10-20 generic text, type T, neo UTF8
00400	A1: X*(Y*Z)=Z*(Y*X);
00500	A2: X*(X*Y)=Y;
00600	A: (X*Y)*((X*Z)*Y)=Z;
00700	DF: X*(1*Y)=X⊗Y;
00750	DF1: X*X =1;
00800	;